例句與造句

1. The theorem was first published in 1950 : " The Impossibility of an Algorithm for the Decidability Problem on Finite Classes ".
2. It's difficult to find decidability problems in a sentence. 用decidability problems造句挺難的